1. Algebraic algorithmics and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985: Proceedings
المؤلف: edited by Jacques Calmet
المکتبة: (طهران)
موضوع: Congresses ، Error-correcting codes )Information theory(,Data processing -- Congresses ، Algebra,Congresses ، Algorithms,Congresses ، Coding theory
رده :
QA
76
.
L28
Vol
.
229
2. Algebraic algorithms and error-correcting codes : 3rd international conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings
المؤلف: edited by Jacques Calmet
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Data processing - Congresses ، Algebra,Congresses ، Computer algorithms,Congresses ، Coding theory
رده :
QA
76
.
L4
v
.
229
3. Algebraic algorithms & error-correcting codes:3rd international
المؤلف: CALMET,JACQUES
المکتبة: (طهران)
موضوع: ALGEBRA-DATA PROCESSING-CONGRESSES , ALGORITHMS-CONGRESSE , CODING THEORY-CONGRESSES
رده :
QA
155
.
7
.
E4
A55
1985
4. Artificial Intelligence and Symbolic Computation
المؤلف: / Mateos-nکCorral, Jacques Calmet, Francisco J. Mart-Gonzalo A. Aranda
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
5. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
المؤلف: Jacques Calmet, Jan Plaza )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1476
6. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
المؤلف: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
A766
2006
7. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
المؤلف: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4120
8. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
المؤلف: Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
المکتبة: (طهران)
موضوع: Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
Q
334
.
A766
1996
9. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
المؤلف: International Conference AISMC-1, )2991: Karlsruhe, Germany(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
I5488
1992
10. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
المؤلف: Jacques Calmet, John A. Campbell )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
737
11. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
المؤلف: Jacques Calmet, John A. Campbell , Jochen Pfalzgraf )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1138
12. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
المؤلف: Jacques Calmet...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
13. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
المؤلف: edited by Jacques Calmet
المکتبة: (طهران)
موضوع: Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
144
14. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
المؤلف: edited by Jacques Calmet
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
144
15. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
پدیدآورنده : edited by Jacques Calmet,Title
موضوع : Algebra - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
المؤلف: Jacques Calmet, Carla Limongelli, eds
المکتبة: (طهران)
موضوع: System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1996
17. Design and implementation of symbolic computation systems : International symposium DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : Proceedings
المؤلف: Jacque Calmet, Carla Limongelli )eds.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
1128
18. Dictionnaire historique, archeologique, philologique , geographique et litteral de la Bible
المؤلف: / par le recerend pere dom Augustin Calmet. revue corrigee par M. l`Abbe A. F. James Publiee par M. l`Abbe Migne,Calmet
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Bible -- Dictionaries
رده :
BS
440
.
C3
1846
R
19. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
9
.
M35
.
I567
1995
20. Intelligent Computer Mathematics
المؤلف: / Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
